# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.


$key = q/bf{,;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.41ex; vertical-align: 161.89ex; " SRC="|."$dir".q|img11.png"
 ALT="$\bf ,$">|; 

$key = q/bf{;;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 0.70ex; vertical-align: 162.53ex; " SRC="|."$dir".q|img12.png"
 ALT="$\bf ;$">|; 

$key = q/bf{<;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.30ex; vertical-align: 161.29ex; " SRC="|."$dir".q|img7.png"
 ALT="$\bf &lt;$">|; 

$key = q/bf{=..;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.41ex; vertical-align: 162.21ex; " SRC="|."$dir".q|img18.png"
 ALT="$\bf =..$">|; 

$key = q/bf{=:=;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img5.png"
 ALT="$\bf =:=$">|; 

$key = q/bf{=;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.47ex; vertical-align: 162.28ex; " SRC="|."$dir".q|img13.png"
 ALT="$\bf =$">|; 

$key = q/bf{=<;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.41ex; vertical-align: 162.25ex; " SRC="|."$dir".q|img9.png"
 ALT="$\bf =&lt;$">|; 

$key = q/bf{=backslash,=;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.02ex; vertical-align: 162.14ex; " SRC="|."$dir".q|img6.png"
 ALT="$\bf =\backslash =$">|; 

$key = q/bf{>;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.41ex; vertical-align: 162.25ex; " SRC="|."$dir".q|img8.png"
 ALT="$\bf &gt;$">|; 

$key = q/bf{>=;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.41ex; vertical-align: 162.25ex; " SRC="|."$dir".q|img10.png"
 ALT="$\bf &gt;=$">|; 

$key = q/bf{?=;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.30ex; vertical-align: 161.38ex; " SRC="|."$dir".q|img15.png"
 ALT="$\bf ?=$">|; 

$key = q/bf{backslash,=;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 0.64ex; vertical-align: 162.53ex; " SRC="|."$dir".q|img14.png"
 ALT="$\bf\backslash =$">|; 

$key = q/bf{backslash,==;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 0.89ex; vertical-align: 162.27ex; " SRC="|."$dir".q|img19.png"
 ALT="$\bf\backslash ==$">|; 

$key = q/bf{is;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.53ex; vertical-align: 162.28ex; " SRC="|."$dir".q|img4.png"
 ALT="$\bf is$">|; 

$key = q/displaystyleem{False_Case;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.72ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img34.png"
 ALT="$\displaystyle \em False\_Case$">|; 

$key = q/displaystyleem{True_Case;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.11ex; vertical-align: 161.64ex; " SRC="|."$dir".q|img33.png"
 ALT="$\displaystyle \em True\_Case$">|; 

$key = q/displaystyleem{comp_test;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.53ex; vertical-align: 161.76ex; " SRC="|."$dir".q|img30.png"
 ALT="$\displaystyle \em comp\_test$">|; 

$key = q/displaystyleem{head;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 5.05ex; vertical-align: 155.51ex; " SRC="|."$dir".q|img27.png"
 ALT="$\displaystyle \em head$">|; 

$key = q/displaystyleem{test;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.02ex; vertical-align: 162.34ex; " SRC="|."$dir".q|img29.png"
 ALT="$\displaystyle \em test$">|; 

$key = q/displaystyleem{test_{1}^{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.92ex; vertical-align: 161.25ex; " SRC="|."$dir".q|img31.png"
 ALT="$\displaystyle \em test_{1}^{}$">|; 

$key = q/displaystyleem{test_{n}^{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.04ex; vertical-align: 161.13ex; " SRC="|."$dir".q|img32.png"
 ALT="$\displaystyle \em test_{n}^{}$">|; 

$key = q/displaystylett{:-;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.66ex; vertical-align: 161.83ex; " SRC="|."$dir".q|img28.png"
 ALT="$\displaystyle \tt :-$">|; 

$key = q/em{IndexArg^{{{rm{th}}_{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.11ex; vertical-align: 161.00ex; " SRC="|."$dir".q|img21.png"
 ALT="$\em IndexArg^{{\rm th}}_{}$">|; 

$key = q/em{Type;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.30ex; vertical-align: 160.93ex; " SRC="|."$dir".q|img20.png"
 ALT="$\em Type$">|; 

$key = q/em{arity_{1}^{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.17ex; vertical-align: 160.92ex; " SRC="|."$dir".q|img23.png"
 ALT="$\em arity_{1}^{}$">|; 

$key = q/em{arity_{n}^{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.24ex; vertical-align: 160.87ex; " SRC="|."$dir".q|img25.png"
 ALT="$\em arity_{n}^{}$">|; 

$key = q/em{not;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.66ex; vertical-align: 162.08ex; " SRC="|."$dir".q|img16.png"
 ALT="$\em not$">|; 

$key = q/em{pred_{1}^{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.55ex; vertical-align: 160.60ex; " SRC="|."$dir".q|img22.png"
 ALT="$\em pred_{1}^{}$">|; 

$key = q/em{pred_{n}^{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.11ex; vertical-align: 161.00ex; " SRC="|."$dir".q|img24.png"
 ALT="$\em pred_{n}^{}$">|; 

$key = q/em{test_{i}^{};MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.72ex; vertical-align: 161.41ex; " SRC="|."$dir".q|img35.png"
 ALT="$\em test_{i}^{}$">|; 

$key = q/gg;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.53ex; vertical-align: 162.19ex; " SRC="|."$dir".q|img3.png"
 ALT="$\gg$">|; 

$key = q/ll;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.28ex; vertical-align: 162.38ex; " SRC="|."$dir".q|img2.png"
 ALT="$\ll$">|; 

$key = q/scriptstyleem{th;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.04ex; vertical-align: 161.64ex; " SRC="|."$dir".q|img1.png"
 ALT="$\scriptstyle \em th$">|; 

$key = q/tt{->;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 1.53ex; vertical-align: 162.02ex; " SRC="|."$dir".q|img17.png"
 ALT="$\tt -&gt;$">|; 

$key = q/vdots;MSF=1.6;LFS=11;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.17ex; vertical-align: 161.57ex; " SRC="|."$dir".q|img36.png"
 ALT="$\vdots$">|; 

$key = q/{figure}{{centering{tabbing{{tt{r(X,Y):-p(X,Y),q(Y,Z),!,fail.{tt{|?-r(X,Y);p(X,Y).tabbing{{{}index{"!slash0}index{cut}{figure};LFS=11;FSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 286.76ex; " SRC="|."$dir".q|img26.png"
 ALT="\begin{figure}{\centering
\begin{tabbing}\tt
r(X,Y) :- p(X,Y),q(Y,Z),!,fail. \\\\...
...tt \vert ?- r(X,Y) ; p(X,Y).
\end{tabbing}}\index{''!/0}\index{cut}
\end{figure}">|; 

1;

